ESP[4]

An early system for doing symbolic mathematics.

A. Rom, Celestial Mechanics 3:331-345 (1971).